Merge pull request #1720 from jeenu-arm/gic-priority
authorAntonio Niño Díaz <[email protected]>
Tue, 18 Dec 2018 09:05:22 +0000 (10:05 +0100)
committerGitHub <[email protected]>
Tue, 18 Dec 2018 09:05:22 +0000 (10:05 +0100)
GIC: Remove lowest priority constants


Trivial merge